Anonymous function - PDFSEARCH.IO - Document Search Engine

Anonymous function
Results: 196

#	Item
21	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc. Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computing Computer programming Data types Type theory Subroutines Functional programming Lambda calculus Type system Gradual typing Anonymous function Type safety
22	Microsoft PowerPoint - Lect10symbols_quotev2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-10-13 09:33:07 Computing Software engineering Computer programming Data types Functional programming Control flow Anonymous function Lambda calculus Subroutines Eval ?: Expr
23	Computing Fundamentals Advanced functions & Recursion Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-05-28 11:41:55 Software engineering Computer programming Recursion Computability theory Theory of computation Subroutines Theoretical computer science Infinite loop This Anonymous function Stack Mutual recursion
24	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
25	Microsoft PowerPoint - Lect05data_abstractionsv4.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-21 04:47:00 Software engineering Declarative programming Functional programming Data types Lisp Computer programming Lambda calculus Cons Append CAR and CDR Anonymous function T
26	The Standard Lisp Report Jed Marti A. C. Hearn M. L. Griss C. Griss Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:50 Data types Functional programming Subroutines Lisp Functional languages Eval Anonymous function Fexpr Boolean data type Recursion Map Cons
27	Microsoft PowerPoint - Lect-interpv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-23 09:14:19 Lambda calculus Functional programming Control flow Eval Data types Scheme Anonymous function Apply Standard ML
28	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-09 01:13:27 Lambda calculus Eval Anonymous function Scheme Env Church encoding
29	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function Monad Closure Partial application
30	Chapter 2 Introduction to Programming Some readers may disagree, but to me computers and mathematics are like beer and potato chips: two fine tastes that are best enjoyed together. Mathematics provides the foundations o Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:52 Object-oriented programming languages High-level programming languages Scripting languages Python Array programming languages Cython Namespace MATLAB Eval Anonymous function Infinite loop Relational operator